Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
251	Leland R. Beaumont Psychology 106 David Stout April 28, 2003 Monday, 7 PM Add to Reading List Source URL: www.simplyquality.org Language: English - Date: 2007-06-15 09:00:13 Personality traits Conscientiousness Big Five personality traits Facet Agreeableness Trait theory Extraversion and introversion Openness to experience Neuroticism Lexical hypothesis Personality psychology Personality type
252	Pushing Complexity Down the Stack Gregory Todd Williams Kjetil Kjernsmo Add to Reading List Source URL: kasei.us Language: English - Date: 2014-10-19 02:41:23 Resource Description Framework C++ Trait Type theory SPARQL Perl Join Application programming interface Border Gateway Protocol
253	Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Indiana University Bloomington Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:54 Type theory Object-oriented programming languages Type systems Cross-platform software High-level programming languages Gradual typing D Python syntax and semantics Duck typing
254	Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Data types Object-oriented programming Model theory Polymorphism Subtyping Type system FO Generic programming Functional predicate -recursive function Function
255	PDF Document Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-08-13 04:44:59 Type theory Message Passing Interface Parallel computing XC Foreach loop Type system Valuation ring
256	C:/Documents and Settings/Kostas Stefanidis/Desktop/pened/pitoura_edbt08/edbt08.dvi Add to Reading List Source URL: dmod.eu Language: English - Date: 2013-11-27 13:39:27 Relational model Data management Mathematical notation Tuple Type theory Relation Join FO Extensible Storage Engine
257	Microsoft Word - Armstrong Gleitman Gleitman 1983.doc Add to Reading List Source URL: www.ircs.upenn.edu Language: English - Date: 2015-10-27 17:01:36 Semantics Cognitive science Philosophy of language Ontology Prototype theory Concept Categorization Meaning Category of being Jerry Fodor Type theory Family resemblance
258	Feature-Oriented Programming with Object Algebras Bruno C.d.S. Oliveira1 , Tijs van der Storm2 , Alex Loh3 , William R. Cook3 1 National University of Singapore () Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2013-04-19 04:38:27 Object-oriented programming Type theory Data types Scala Algebra over a field Combinatory logic Factory Subtyping Is-a Polymorphism Von Neumann algebra Type system
259	Generating Customized Verifiers for Automatically Generated Code Ewen Denney Bernd Fischer Add to Reading List Source URL: ti.arc.nasa.gov Language: English Type theory Bioinformatics Annotation Reference Writing Schema Covariance and contravariance Prolog Type system
260	Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:20 Formal methods Type theory Dependently typed programming Theoretical computer science Logic in computer science Coq Abstract interpretation CurryHoward correspondence Predicate transformer semantics Proof-carrying code Correctness Lines of Action

UPDATE